UC知道数理逻辑 α→β |- !α v β 用形式N系统的定理怎么证？
来源：百度知道 编辑：UC知道 时间：2024/07/08 02:04:45
（→为蕴涵，！为非，v为析取）
谢谢大家！:)
你的答案和数理逻辑的证明有点不一样哦 。我看过的解答还没有假设。而且格式也有点问题。
证明形式：
例如： a,¬a|- b
证明： a,¬a,¬b |- a （属于）
a,¬a,¬b |- ¬a (属于)
a,¬a |- b (¬-)
谢谢大家！:)
你的答案和数理逻辑的证明有点不一样哦 。我看过的解答还没有假设。而且格式也有点问题。
证明形式：
例如： a,¬a|- b
证明： a,¬a,¬b |- a （属于）
a,¬a,¬b |- ¬a (属于)
a,¬a |- b (¬-)
我用A,B来代替吧，
（1）│○A→B----------假设
（2）││○¬（¬A∨B）--假设
（3）│││○A---------假设
（4）││││B--------（1）（3）→-
（5）││││¬A∨B----（4）∨+
（6）│││¬A---------（2）（5）¬-
（7）│││¬A∨B------（6）∨+
（8）││¬A∨B--------（2）（7）¬-
（9）││（A→B）→¬A∨B---（1）（8）→+
就这样了。否定符号是打得出来的，制表符里有相似的，不过要找正规的，去网上搜索“数学符号表”吧！全称量词，存在量词都有。
我用的是PN规则可能和你的不一样。
今天我去看了数理逻辑，有些规则有差异。